A. Chagrov, M. Zakharyaschev; "Modal Logic"